Souto Lopez, Miguel (2016), Acquis d’apprentissage et enseignement supérieur

Éditorial: Informatique et enseignement

Apprentissage artificiel : acquis, limites et enjeux

L’apprentissage artificiel est une activité circulaire, extrayant des connaissances à partir des observations disponibles et utilisant ces connaissances pour chercher de nouvelles informations, ou décrire différemment les observations. Dans cet article de synthèse, nous nous intéressons essentiellement à la construction de connaissances, règles ou modèles, à partir de données. Les acquis majeur...

Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique

We present a course given at the “Maîtrise d’informatique” level at Université of Rennes 1. This course studies relations between logic and computation, among which proofsearching as computing, hence a first course in logic programming. This course is not limited to logic programming, but it is the only one that the student will get on logic programming. Though this course focuses on theoretica...

Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs

ions. Une abstraction pouvant être utilisée en dehors du contexte où elle est définie, on doit mémoriser la liaison des variables apparaissant dans son corps au moment de sa définition. C’est à cette fin qu’on utilise une fermeture, c’est-à-dire l’association d’une abstraction (ident * term) et de l’environnement dans lequel elle a été définie (env) via le constructeur ValAbs. Lecture/écriture ...

Activités collectives et instrumentation. Étude de pratiques dans l'enseignement supérieur

This article presents the results of a study which concerns Instrumented Collective Learning Situations (ICLS) used in higher education and according to different actors’s point of view (instructional designer and tutor). Considered actors have been involved in ICLS conception or in their use with students. We determine several forms of ICLS (in terms of scenario, tools, kind of activity) and w...